Перевод: с английского на все языки

со всех языков на английский

to formalize a program

См. также в других словарях:

  • Hilbert's program — Hilbert s program, formulated by German mathematician David Hilbert in the 1920s, was to formalize all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent.Hilbert proposed that the… …   Wikipedia

  • White Stag Leadership Development Program — White Stag Leadership Development is a non profit organization founded on the Monterey Peninsula, California, in 1958 by Dr. Béla H. Bánáthy. The youth run program prepares and produces two week long summer camps for other youth age 11 17 each… …   Wikipedia

  • ConsensusDOCS — Type Limited liability company …   Wikipedia

  • figure skating — figure skater. 1. ice skating in which the skater traces intricate patterns on the ice. 2. a type of ice skating developed from this, emphasizing jumps, spins, and other movements that combine athletic skills and dance techniques. 3. a… …   Universalium

  • Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …   Wikipedia

  • Computer Go — Part of a series of articles on Go (board game) Game specifics Go rules Go handicaps Go proverbs Go terms Go strategy and tactics Fuseki (whole board openings) Joseki (corner based openings) Life and death Tsumego …   Wikipedia

  • Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r …   Wikipedia

  • MIT Sloan School of Management — The MIT Sloan School of Management is one of the five schools of the Massachusetts Institute of Technology, located in Cambridge, Massachusetts, USA. It is one of the world s leading business schools, conducting research and teaching in finance,… …   Wikipedia

  • Randomness — Random redirects here. For other uses, see Random (disambiguation). For a random Wikipedia article, see Special:Random. For information about Wikipedia s random article feature, see Wikipedia:Random. Randomness has somewhat differing meanings as… …   Wikipedia

  • china — /chuy neuh/, n. 1. a translucent ceramic material, biscuit fired at a high temperature, its glaze fired at a low temperature. 2. any porcelain ware. 3. plates, cups, saucers, etc., collectively. 4. figurines made of porcelain or ceramic material …   Universalium

  • China — /chuy neuh/, n. 1. People s Republic of, a country in E Asia. 1,221,591,778; 3,691,502 sq. mi. (9,560,990 sq. km). Cap.: Beijing. 2. Republic of. Also called Nationalist China. a republic consisting mainly of the island of Taiwan off the SE coast …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»